non{-}void($d$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$$\in$dom($d$). $A$=$d$($x$) $\Rightarrow$  $A$